1

Carnap’s early metatheory: scope and limits

Year:
2017
Language:
english
File:
PDF, 673 KB
english, 2017
3

Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic

Year:
1999
Language:
english
File:
PDF, 750 KB
english, 1999
7

MATHEMATICAL METHODS IN PHILOSOPHY EDITORS’ INTRODUCTION

Year:
2008
Language:
english
File:
PDF, 175 KB
english, 2008
13

Utilization characteristics of spinal interventions

Year:
2012
Language:
english
File:
PDF, 374 KB
english, 2012
14

Utilization Characteristics of Spinal Interventions

Year:
2010
Language:
english
File:
PDF, 46 KB
english, 2010
23

HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC

Year:
2015
Language:
english
File:
PDF, 341 KB
english, 2015
24

Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier

Year:
2004
Language:
french
File:
PDF, 507 KB
french, 2004
25

Rumfitt on truth-grounds, negation, and vagueness

Year:
2018
Language:
english
File:
PDF, 361 KB
english, 2018
32

Generalizing theorems in real closed fields

Year:
1995
Language:
english
File:
PDF, 1.45 MB
english, 1995
33

Completeness of a first-order temporal logic with time-gaps

Year:
1996
Language:
english
File:
PDF, 2.30 MB
english, 1996
36

Note on generalizing theorems in algebraically closed fields

Year:
1998
Language:
english
File:
PDF, 138 KB
english, 1998
41

The Epsilon Calculus and Herbrand Complexity

Year:
2006
Language:
english
File:
PDF, 321 KB
english, 2006
42

First-order Gödel logics

Year:
2007
Language:
english
File:
PDF, 518 KB
english, 2007
43

Vagueness, Logic and Use: Four Experimental Studies on Vagueness

Year:
2011
Language:
english
File:
PDF, 623 KB
english, 2011
46

Reconstitution of isolated Rieske Fe-S protein into a Rieske-depleted cytochrome b6-ƒ complex

Year:
1987
Language:
english
File:
PDF, 547 KB
english, 1987
49

On the interaction between cytochrome f and plastocyanin

Year:
1989
Language:
english
File:
PDF, 638 KB
english, 1989